\frame
{
  \frametitle{Detector implementation wrap-up}
  \B
  \item We have implemented two small but realistic detectors
    \B
    \item ...with some significant simplifying assumptions
    \E
  \item To make them production quality, would need to:
    \B
    \item {\em Run on real software artifacts}
    \item See if they find interesting bugs
    \item If too many false positives, implement heuristics to
          suppress them
    \E
  \E
}
